منابع مشابه
Pollack-inconsistency
For interactive theorem provers a very desirable property is consistency : it should not be possible to prove false theorems. However, this is not enough: it also should not be possible to think that a theorem that actually is false has been proved. More precisely: the user should be able to know what it is that the interactive theorem prover is proving. To make these issues concrete we introdu...
متن کاملSynthetic lubricant basestocks from epoxidized soybean oil and Guerbet alcohols
Vegetable oils are biodegradable and therefore good candidates for environmentally friendly base stocks. They have excellent lubricity, but poor oxidation and low temperature stabilities. For this study, synthetic lubricant basestocks with oxidative stabilities and pour points comparable with commercial synthetic lubricant basestocks have been prepared by reacting epoxidized soybean oil with Gu...
متن کاملPollack , George , Reba , Kaufman , and Crosby
Iron is unique among inorganic nutriments because primary control of body homeostasis resides with absorption, not with excretion (1). However, the pathway by which iron is transported in the gut is not necessarily unique; it may be shared with cations whose absorption waxes and wanes in parallel with that of iron, but whose total body balance is maintained by ready excretion. The question of w...
متن کاملWine secondary aroma: understanding yeast production of higher alcohols
Contribution of yeasts to the sensory attributes of fermented foods and beverages goes far beyond sugar consumption and ethanol and carbon dioxide production. It includes some major by-products of fermentation, like glycerol or acetic acid, and hundreds of aroma-active compounds, including higher alcohols, esters, aldehydes, organic acids, volatile fatty acids or carbonyl compounds, as main con...
متن کاملMetabolic Engineering of Microorganisms for the Production of Higher Alcohols
Due to the increasing concerns about limited fossil resources and environmental problems, there has been much interest in developing biofuels from renewable biomass. Ethanol is currently used as a major biofuel, as it can be easily produced by existing fermentation technology, but it is not the best biofuel due to its low energy density, high vapor pressure, hygroscopy, and incompatibility with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: NIPPON SUISAN GAKKAISHI
سال: 1960
ISSN: 1349-998X,0021-5392
DOI: 10.2331/suisan.26.1032